Reasoning About Effects of Concurrent Actions

نویسندگان

  • Chitta Baral
  • Michael Gelfond
چکیده

> Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and describe translations of theories in this language into extended logic programs. In this paper we extend the language A and its translation to allow reasoning about the eeects of concurrent actions. The logic programming formalization of situation calculus with concurrent actions presented in the paper is of independent interest and may serve as a test bed for the investigation of various transformations and logic programming inference mechanisms. <

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling Actions with Rami£cations in Nondeterministic, Concurrent, and Continuous Domains— And A Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains Š and a Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study

Combining into a consistent theory co-existing models for different phenomena in reasoning about actions can be a problem as challenging as addressing new aspects. We present a uniform theory for reasoning about actions with indirect effects in nondeterministic, concurrent, and continuous domains. We report on a case study to which our theory has been successfully applied.

متن کامل

Representing Concurrent Actions in Extended Logic Programming

Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP s). The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions prese...

متن کامل

Reasoning about E ects of Concurrent

Gelfond and Lifschitz introduce a declarative language A for describing eeects of actions and deene translations of theories in this language into extended logic programs. The purpose of this paper is to extend the language and the translation to allow reasoning about the eeects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions presented in the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Log. Program.

دوره 31  شماره 

صفحات  -

تاریخ انتشار 1997